FORM facts

FORM facts

Some of the new features of the symbolic manipulation system FORM are discussed. Then some recent results running its multithreaded version TFORM are shown. Finally the plans for the future are presented. Over the past few years the symbolic manipulation system FORM[1] has picked up a number of new features. Some are designed for better speed, some for more convenience. The most recent facility...

Key facts about a unique , effective dosage form

Brute Facts, Social Facts, and Institutional Facts

Geographic regions (henceforth, regions for short) are spatially extended pieces of (near) earth surface that share some aspect of similarity across their extents. The most fundamental aspect of similarity shared within a region is "locational similarity"-proximity. But regions nearly always share common thematic content or activity too. That is, regions are defined not just spatially but accor...

Cheap Facts and Counter-Facts

This paper describes our experiments of using Amazon’s Mechanical Turk to generate (counter-)facts from texts for certain namedentities. We give the human annotators a paragraph of text and a highlighted named-entity. They will write down several (counter-)facts about this named-entity in that context. The analysis of the results is performed by comparing the acquired data with the recognizing ...

Some assumptions and facts about arithmetic facts

In the present review we will deal with the following questions: What are arithmetic facts? How are they related to other cognitive functions? What are characteristic features of fact retrieval performance in healthy adult subjects? Which typical patterns of breakdown can be observed in acalculia? How do current models account for the representation of and access to arithmetic facts?